Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին
1
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Տարի:
2021
Լեզու:
english
Ֆայլ:
PDF, 4.74 MB
0 / 5.0
english, 2021
2
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Տարի:
2021
Լեզու:
english
Ֆայլ:
EPUB, 15.85 MB
0 / 0
english, 2021
3
Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Տարի:
2010
Լեզու:
english
Ֆայլ:
PDF, 2.12 MB
0 / 0
english, 2010